digraph G {
    margin=0;
    w [style=bold, label="live-01"];
    r [label=<<FONT COLOR="red">S</FONT>>,fontname=helvetica];
    
    w->r [label="ARG0"];
}
